logic calculus

逻辑演算